<html>
<body>
<p>Replaces a series of <b>if-else</b> statements with type checks in conditions by pattern matching.
    Note that this operation can change the execution order of conditions.</p>
</body>
</html>